Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Quick guide to heuristic & bot programming contests
gmays.com·3h
⚡Proof Automation
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·23h·
Discuss: Hacker News
🎯Interactive Provers
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·1h
🔒WASM Capabilities
A Poet Completes the Square
denisegaskins.com·8h
🔬Lean
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·7h·
Discuss: Hacker News
🪟Awesome windows command-line
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·2d
🔐Cryptographic Archaeology
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·16h
🔧RISC-V Assembler
2011 N1 = 2024 A2
blog.evanchen.cc·4h
🔬Lean
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·1h
🔲Cellular Automata
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·6h·
Discuss: Hacker News
🤖Network Automation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Parsing Protobuf Like Never Before
mcyoung.xyz·14h
🔧Binary Parsers
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
How to reason from first principles
caseyhandmer.wordpress.com·2h
🎯Proof Tactics
Zig Interface Revisited
williamw520.github.io·4h·
Discuss: Hacker News
🧩WASM Components
Rust Language Cheat Sheet
cheats.rs·4d·
Discuss: Hacker News
🦀Rust Macros